Wyniki
-
A formal interpretation of propositions
Janusz Kaczmarek
Bulletin of the Section of Logic , 22 /1 (1993) s. 13-17 -
On the Porphyrian Tree Structure and an Operation of Determination
Janusz Kaczmarek
Bulletin of the Section of Logic , 31 /1 (2002) s. 37-46 -
Positive and Negative Properties : a Logical Interpretation
Janusz Kaczmarek
Bulletin of the Section of Logic , 32 /4 (2003) s. 179-189 -
What is a Formalized Ontology Today? An Example of IIC
Janusz Kaczmarek
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 233-244 -
Referential matrix semantics for propositional calculi
Ryszard Wójcicki
Bulletin of the Section of Logic , 8 /4 (1979) s. 170-176 -
More about referential matrices
Ryszard Wójcicki
Bulletin of the Section of Logic , 9 /2 (1980) s. 93-101 -
A theorem on definitionally complete logics
Ryszard Ładniak
Bulletin of the Section of Logic , 15 /1 (1986) s. 29-43 -
Dual counterparts of consequence operations
Ryszard Wójcicki
Bulletin of the Section of Logic , 2 /1 (1973) s. 54-56 -
Some Boolean theories in SCI
Ryszard Wawrzyńczak
Bulletin of the Section of Logic , 2 /3 (1973) s. 197-202 -
Degree of maximality versus degree of completeness
Ryszard Wójcicki
Bulletin of the Section of Logic , 3 /2 (1974) s. 41-42 -
A theorem of strongly finite propositional calculi
Ryszard Wójcicki
Bulletin of the Section of Logic , 4 /1 (1975) s. 2-6 -
A theorem of the finiteness of the degree of maximality of the n-valued Lukasiewicz logic
Ryszard Wójcicki
Bulletin of the Section of Logic , 4 /1 (1975) s. 19-23 -
On the degree of maximality of definitionally complete logics
Ryszard Ładniak
Bulletin of the Section of Logic , 15 /2 (1986) s. 72-87 -
An axiomatic treatment of non-monotonic arguments
Ryszard Wójcicki
Bulletin of the Section of Logic , 17 /2 (1988) s. 56-61 -
Three Doctrines of the Nature of Mathematics : Some Comments of a Knowledge Theorist
Ryszard Wójcicki
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 11-20 -
Some Properties of Strongly Finite Propositional Calculi
Ryszard Wójcicki
Bulletin of the Section of Logic , 1 /1 (1972) s. 69-71 -
Some Results Concerning Many Valued Łukasiewicz Calculi
Ryszard Wójcicki
Bulletin of the Section of Logic , 1 /3 (1972) s. 49-51 -
Three Notions of Model of a Propositional Calculus : (Review of some Papers of R. Harrop and T. Smiley)
Marek Tokarz, Ryszard Wójcicki
Bulletin of the Section of Logic , 1 /1 (1972) s. 74-77 -
[Departament of Function]
Andrzej Grzegorczyk, Ryszard Wójcicki
Bulletin of the Section of Logic , 1 /2 (1972) s. 44-45